#include "ReaderStatusProc.h"
#include <cstdio>
#include <string.h>
#include <stdlib.h>

#include <cstdlib>
#include <unistd.h>
#include <sched.h>
#include <stdio.h>
#include <cassert>




int main(int argc,char* argv[])
{

  /*une transformation de code source*/  
  //@instrument status {function:f file:statusInstrumenter.cpp line:5}
  ReaderStatusProc::startRegion("status","main","status.inst.cpp",15);
  ReaderStatusProc::statusTopStart();
  ReaderStatusProc::printTopStart();

  malloc(4096*100000);//allocation de 100 000 pages
  
  ReaderStatusProc::statusTopEnd();
  ReaderStatusProc::printTopEnd();
  ReaderStatusProc::reduce();//reduction des deux informations à l'aide d'un operateur
      
  return 0;
}
